Merge pull request #1961 from jlebon/pr/refine-gsource
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Mon, 28 Oct 2019 19:58:37 +0000 (20:58 +0100)
committerGitHub <noreply@github.com>
Mon, 28 Oct 2019 19:58:37 +0000 (20:58 +0100)
lib/pull: Tweak update_timeout logic again


Trivial merge